International - PDFSEARCH.IO - Document Search Engine

International
Results: 696225

#	Item
81	Instructions for Submission to ASPLOS 2019 ASPLOS Submission #XXX– Confidential Draft – Do Not Distribute! Abstract This document is intended to serve as a sample for submissions to the 23rd International Conference Add to Reading List Source URL: asplos-conference.org Language: English - Date: 2018-07-24 21:51:17 Science Knowledge Academic publishing Research Digital media Publishing Scholarly peer review Scientific method Electronic submission ArXiv Computer architecture International Conference on Architectural Support for Programming Languages and Operating Systems
82	SAT modulo the theory of linear arithmetic: Exact, inexact and commercial solvers Germain Faure, Robert Nieuwenhuis, Albert Oliveras and Enric Rodr´ıguez-Carbonell 11th International Conference, SAT 2008 Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2008-05-19 09:02:24 Theoretical computer science Mathematics Mathematical logic Logic in computer science Boolean algebra Electronic design automation Formal methods NP-complete problems Solver Propositional calculus AMPL Modulo operation
83	Women and PreTenure Scholarly Productivity in International Studies: An Investigation into the Leaky Career Pipeline Add to Reading List Source URL: www.saramitchell.org Language: English - Date: 2013-04-29 12:37:06 Human behavior Gender Sex Women in science Women in STEM fields Woman Feminism Women's history Beyond Bias and Barriers
84	MEDIA GUIDE 2018 www.coincentral.com CoinCentral is an international authority in the cryptocurrency and blockchain space. Add to Reading List Source URL: coincentral.com Language: English - Date: 2018-10-23 11:26:31 Loyal Legion of Loggers and Lumbermen United States home front during World War I Ethereum
85	Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Algorithm Mathematical logic Theoretical computer science IP Model checking Mathematics Machine learning
86	Second International Competition on Runtime Verification CRV 2015 Yli`es Falcone1 , Dejan Nickovic2 , Giles Reger3 , and Daniel Thoma4 1 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 13:08:19 Computing Cross-platform software Logic in computer science Runtime verification Benchmark Standard Performance Evaluation Corporation Computer performance Java
87	2013 IEEE 10th International Conference on Services Computing Design and Implementation of a Uniﬁed Network Information Service Ahmed El-Hassany∗ , Ezra Kissel∗ , Dan Gunter† , Martin Swany∗ , School of Inform Add to Reading List Source URL: people.ee.ethz.ch Language: English - Date: 2017-02-01 15:47:49 Computing Information and communications technology Data transmission Decentralization Local area networks Computer networking PerfSONAR Network architecture File sharing Computer network Network topology Distributed computing
88	International Mathematics Research Notices Advance Access published November 1, 2012 J. Grivaux (2012) “The Hochschild–Kostant–Rosenberg Isomorphism for Quantized Analytic Cycles,” International Mathematics Resea Add to Reading List Source URL: jgrivaux.perso.math.cnrs.fr Language: English - Date: 2016-04-27 12:14:31 Abstract algebra Algebra Mathematics Algebraic geometry Sheaf theory Algebraic varieties Coherent sheaf Divisor Isomorphism Sheaf Vector bundle Adjoint functors
89	The Poetry Business 2019 International Book & Pamphlet Competition: Entry Form Complete and return this form, with your manuscript and a cheque for your entry fee, by Friday 1st March 2019 to: The Competition Administrat Add to Reading List Source URL: www.poetrybusiness.co.uk Language: English - Date: 2018-10-01 09:48:33 Economy Banking Cheque Numismatics Pamphlet Poetry Society
90	Annual Report 2017 EFG International is a global private banking group offering private banking and asset management services and is headquartered in Zurich. Its registered shares (EFGN) are Add to Reading List Source URL: www.efg-fundmanagement.com Language: English - Date: 2018-03-05 04:49:19 Banks Finance Financial services Investment banks Private banks EFG International Primary dealers UBS EFG Bank European Financial Group EFG International Financial Reporting Standards BTG Pactual

UPDATE